Formal semantics - PDFSEARCH.IO - Document Search Engine

Formal semantics
Results: 502

#	Item
51	Mechanized Semantics for Compiler Verification Xavier Leroy INRIA Paris-Rocquencourt Abstract. The formal verification of compilers and related programming tools depends crucially on the availabili Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2012-12-13 08:22:59 Theoretical computer science Software engineering Logic in computer science Computing Formal methods Programming language semantics Compiler construction Operational semantics Semantics Formal verification Compiler correctness Programming language
52	A Formal Model and Composition Language for Context-Aware Service Protocols A Formal Model and Composition Language for Context-Aware Service Protocols Javier Cubo, Carlos Canal, Ernesto Pimentel, Gwen Sala¨ un Add to Reading List Source URL: casta.unibe.ch Language: English - Date: 2012-07-02 10:13:08 Theoretical computer science Logic in computer science Programming language semantics Communications protocol Data transmission Model theory Operational semantics Models of computation
53	On the Syntax and Semantics of Effect Axioms Haythem O. Ismail Department of Computer Science German University in Cairo e-mail: Add to Reading List Source URL: fois08.dfki.de Language: English - Date: 2008-11-09 04:22:06 Logic Mathematical logic Formal systems Abstraction Axiom Logic programming Mereology
54	University of Science and Technology of China A dissertation submitted for the degree of PhD Refinement Verification of Concurrent Programs and Its Applications Add to Reading List Source URL: staff.ustc.edu.cn Language: English - Date: 2015-04-24 09:43:54 Theoretical computer science Logic in computer science Formal methods Software engineering Formal verification Refinement Linearizability Correctness Operational semantics Semantics Concurrency Algorithm
55	Integrated Analysis from Abstract Stochastic Process Algebra Models Jane Hillston. University of Edinburgh. Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-10-17 04:53:23 Process calculi Theoretical computer science Formal methods Metaphor Simulation PEPA Jane Hillston Scientific modelling Stochastic Process calculus Economic model Semantics
56	TRANSLATIONS IN SENTENTIAL LOGIC. Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Logic Logical connectives Semantics Philosophical logic Model theory Formal languages Propositional calculus Interpretation First-order logic If and only if False Modal logic
57	Proof assistants in computer science research Xavier Leroy Inria Paris-Rocquencourt Semantics of proofs and certified mathematics, Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2015-09-15 04:31:52 Programming language theory Formal methods POPLmark challenge Mathematical proof Programming language semantics Logic in computer science Proof theory
58	experienced in the software domain. For example, the notion of a variable in software often becomes a wire in hardware with very different semantics. Hardware, at least synchronous anyway, has the notion of a clock and o Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2006-08-22 04:59:46 Technical communication Hardware description languages Functional languages Atom Real-time computing Bluespec Formal methods SystemVerilog Type system Verilog Interface Refinement
59	Proof-Carrying Code from Certied Abstract Interpretation and Fixpoint Compression Frédéric Besson and Thomas Jensen and David Pichardie Irisa, Campus de Beaulieu, FRennes, France Abstract Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2014-09-03 04:27:20 Formal methods Type theory Dependently typed programming Theoretical computer science Logic in computer science Coq Abstract interpretation CurryHoward correspondence Predicate transformer semantics Proof-carrying code Correctness Lines of Action
60	1 Introduction One of the most influential papers of Computer Science to appear during the late 1960’s undoubtedly was Tony’s “An Axiomatic Basis for Computer Programming” [1], introducing a special purpose logi Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Formal methods Monitor Hoare logic Invariant Loop invariant Flag semaphore Variable ALGOL 68 Predicate transformer semantics

UPDATE